Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, ... 1872 (Lecture Notes in Computer Science)
by Osamu Watanabe,Masami Hagiya,Jan van Leeuwen,Peter D. Mosses,Takayasu Ito
ISBN 13: 9783540678236
Format: Paperback (652 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings: 915 (Lecture Notes in Computer Science)
by Peter D. Mosses,Mogens Nielsen,Michael I. Schwartzbach
ISBN 13: 9783540592938
Format: Paperback (836 pages) Publisher: Springer Published: 03 May 1995
CASL User Manual: Introduction to Using the Common Algebraic Specification Language: 2900 (Lecture Notes in Computer Science, 2900)
by Michel Bidoit,Peter D. Mosses
ISBN 13: 9783540207665
Format: Paperback (260 pages) Publisher: Springer Published: 13 Jun 2008